H ?
«
‹
←
→
›
»
Language peer sets for ADA/TL:
United States↑
United States/1990↑
Designed 1990 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑
ADA/TL(ID:4658/ada023)
alternate simple view
Country: United States
Designed 1990
Language for specification of the behavior of systems of communicating tasks. TL stands for temporal logic
Related languages
Ada |
→
|
ADA/TL | |
Extension of |
References:
W. Hankley & J. Peters, (1989) W. Hankley & J. Peters, "A Proof Method for Ada/TL", Proceedings of the Eighth Annual National Conference on Ada Technology (March 5-8, 1990), 392-398. See also TR-CS-89-11, Department of Computing and Information Sciences, Kansas State University, 1989.
Peters, James, William Hankley, (1990) Peters, James, William Hankley, "Proving specifications of tasking systems using Ada/TL" Proceedings of the conference on TRI-ADA '90, p.4-13, December 03-06, 1990, Baltimore, Maryland, United States
Abstract
DOI
W. Hankley & J. Peters, (1990) W. Hankley & J. Peters, "Temporal Specification of Ada Tasking (Version 2)," TR-CS-90-6, K.S.U., 1990.
W. Hankley & J. Peters, (1990) W. Hankley & J. Peters, "Temporal Specification of Ada Tasking"
in [Proceedings] (1990) Proceedings of the 23rd Hawaii International Conference on System Sciences (January, 1990)
Hankley, William; Peikun Tsai, (1992) Hankley, William; Peikun Tsai, "Ada/TL specification and verification of a distributed computation" pp846-855
in [ACM] (1992) Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's, March 1992, Kansas City, Missouri, United States
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE 
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|